961. Term logic with choice operator
پدیدآورنده: Hermes, Hans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
6
962. Term logic with choice operator
پدیدآورنده: Hermes, Hans
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical
رده :
H553t
963. Term logic with choice operator
پدیدآورنده: Hermes, Hans.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
6
964. Term logic with choice operators
پدیدآورنده: Hans Hermes
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
6
965. The Arché papers on the mathematics of abstraction /
پدیدآورنده: edited by Roy T. Cook.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Abstraction.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Abstraction.,Logic, Symbolic and mathematical.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.,Sciences humaines.,Sciences sociales.
رده :
QA8
.
4
.
A73
2007eb
966. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده: \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
967. The Art of the Intelligible :
پدیدآورنده: by John L. Bell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.
رده :
B67
968. The Big Typescript, TS. 213 /
پدیدآورنده: Ludwig Wittgenstein ; edited and translated by C. Grant Luckhardt and Maximilian Aue
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy,Semantics (Philosophy)
رده :
B3376
.
W563
B4713
2005
969. The Calculi of symbolic logic, 1
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
98
1968
970. The Calculi of symbolic logic, 1
پدیدآورنده: edited by V. P. Orevkov
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
1
.
P736
Vol
.
98
971. <The> Elements of Advanced Mathematics
پدیدآورنده: \ Steven G. Krantz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی
رده :
E-Book
,
972. The Frege reader
پدیدآورنده: Frege, Gottlob
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,Philosophy ، Mathematics,، Philosophy
رده :
B3245
.
F22
E52
1997
973. The Frege reader
پدیدآورنده: edited by Michael Beaney
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,، Mathematics -- Philosophy,، Philosophy
رده :
B
3245
.
F73F7
974. The Higher Infinite :
پدیدآورنده: by Akihiro Kanamori.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,Topology.
رده :
QA248
.
B935
1997
975. <The> Logical Foundations of Scientific Theories
پدیدآورنده: \ Décio Krause and Jonas R. B. Arenhart
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
976. The Ordered Weighted Averaging Operators
پدیدآورنده: edited by Ronald R. Yager, Janusz Kacprzyk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
977. <The> Oxford Handbook of Philosophy of Mathematics and Logic
پدیدآورنده: / edited by Stewart Shapiro
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: ریاضیات, -- فلسفه,Mathematics - Philosophy,Logic, Symbolic and mathematical - Philosophy
رده :
QA8
,.
4
.
O94
978. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: edited by Stewart Shapiro
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
979. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: / edited by Stewart Shapiro
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics , Philosophy,Logic, Symbolic and mathematical , Philosophy
رده :
E-BOOK
980. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
